Kurven auf algebraischen Fl�chen

Perspektive kryptografischer Verfahren auf elliptischen Kurven

Vor dem Hintergrund der großen Verbreitung des RSA-Verfahrens und der damit einher gehenden Abhängigkeit kryptografischer Lösungen von der Sicherheit dieses Verfahrens wird kryptografischen Verfahren auf der Basis elliptischer Kurven zunehmend Bedeutung beigemessen. Der vorliegende Beitrag diskutiert die Vorund Nachteile dieser alternativen Verfahren im Vergleich mit RSA und bewertet deren aktu...

Transformation objektorientierter Systeme basierend auf algebraischen Graph-Transformationen

Since the beginning of software development, making existing software conformant to new demands has always been an important topic. The extension of software by new functionality is facilitated or even made possible by software refactoring: improving the structure of software without changing its behaviour in order to implement additional functionality more easily. Unfortunately, the transforma...

Arithmetik elliptischer Kurven mit Anwendungen

Literatur 63

Zur Kontextanalyse einer algebraischen Programmiersprache

Automatische Fehlersuche in algebraischen Spezifikationen

sig List { -list basis cplx: one Nat, -list functions and predicates -#1 specification: list app: List -> lone List, lastcons: Elem -> lone List, r_isin: set Elem, -reversed arguments -#2 specification: list-dup adjoin: Elem -> lone List, rmdup: lone List, disjoin: set List, -#3 specification: list-last last: lone Elem, butlast: lone List, r_butlastn: Nat -> lone List, -reversed arguments rev: ...